- LNCS1680
- -D. Dams et al.(Eds.): Theoretical and Practial Aspects of SPIN Model Checking. Proceedings, Springer-Verlag 1999
Acronyms von A bis Z. 2013.
LNCS1680
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1680 — D. Dams et al.(Eds.): Theoretical and Practial Aspects of SPIN Model Checking. Proceedings, Springer Verlag 1999 … Acronyms
